Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
131	Description Logics Propositional Description Logics Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Non-classical logic Philosophy of language Fuzzy logic First-order logic Interpretation Modal logic Function BL Description logic Logic Mathematical logic Model theory
132	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
133	Scalar (Non-)Identity and Similarity Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:15 Predicate logic Philosophical logic Abstraction Semantics Propositional calculus Property Interpretation Predicate Function Logic Mathematics Philosophy
134	Multi-Agent Belief Revision with Linked Preferences Jan van Eijck1 and Floor Sietsma2 1 Centre for Mathematics and Computer Science (CWI) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:17:56 Philosophical logic Propositional calculus Metalogic Model theory Functions and mappings Interpretation Function Constructible universe Modal logic Logic Mathematics Mathematical logic
135	Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:31:51 Philosophical logic Logic programming Propositional calculus Metalogic Model theory Epistemic modal logic Modal logic Interpretation Function Logic Mathematical logic Mathematics
136	Edward N. Zalta Replies to the Critics∗ Edward N. Zalta Center for the Study of Language and Information Stanford University Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:13:27 Philosophy of language Modal logic Logical syntax Propositional calculus Proposition Sense and reference Function Entailment Possible world Logic Philosophy Philosophical logic
137	Description Logics Foundations of First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Formal languages Propositional calculus Logical syntax Interpretation First-order logic Well-formed formula Proposition Logical connective Function Logic Mathematical logic Predicate logic
138	162 SAUNDERS MACLANE Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:31:16 Peano axioms Axiom Metamath Mathematical proof Principia Mathematica Intuitionistic logic Propositional calculus Consistency Function Logic Mathematics Mathematical logic
139	Computer Organization II[removed] Add to Reading List Source URL: educypedia.karadimov.info Language: English - Date: 2000-09-19 06:40:44 Mathematics Algebraic logic Logic in computer science Propositional calculus Logic Karnaugh map Canonical form Boolean function Truth table Boolean algebra Mathematical logic Abstract algebra
140	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics

UPDATE